ma{-}prob($M$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(($M$.2.2.2.2.2.2.2.2.2.2.2).1;IdDeq;$b$;$\ast$1$\ast$)